pushbutton receiver - German English Dictionary